21. The computer modelling of mathematical reasoning
پدیدآورنده : Bundy, Alan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing ، Mathematics,، Logic, Symbolic and mathematical,، Automatic theorem proving
رده :
QA
76
.
95
.
B86
22. The computer modelling of mathematical reasoning
پدیدآورنده : Bundy, Alan., Alan Bundy
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Mathematics- Data processing,، Logic, Symbolic and mathematical,، Automatic theorem proving
رده :
QA
76
.
95
.
B86
23. The computer modelling of mathematical reasoning
پدیدآورنده : Bundy, Alan.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Mathematics - Data processing,، Logic, Symbolic and mathematical,، Automatic theorem proving
رده :
QA
76
.
95
.
B86
1983
